Anonymous function - PDFSEARCH.IO - Document Search Engine

Anonymous function
Results: 196

#	Item
41	Reflections on Standard ML David B. MacQueen AT&T Bell Laboratories Murray Hill NJAbstract. Standard ML is one of a number of new programming languages developed in the 1980s that are seen as suitable vehicles for Add to Reading List Source URL: sml-family.org Language: English - Date: 2016-04-04 09:33:37 Functional languages Procedural programming languages Object-oriented programming languages Data types Source code ML Lisp Programming language Macro Type safety Anonymous function HOL
42	Numerical Partial Differential Equations in Scheme∗ Bradley J. Lucier Department of Mathematics Purdue University West Lafayette, IN Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2005-08-03 19:00:21 Object-oriented programming languages Functional languages Procedural programming languages Programming languages Cross-platform software Common Lisp GNU Compiler Collection Lisp Gambit Relational operator Scheme Anonymous function
43	Microsoft PowerPoint - Lect06higher_order_procedures6.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-28 10:06:16 Lambda calculus Subroutines Functional programming Anonymous function Parameter Scheme ALGOL 68 Church encoding Deductive lambda calculus
44	Revised7 Report on the Algorithmic Language Scheme ALEX SHINN AND JOHN COWAN (Editors) AARON W. HSU ALARIC SNELL-PYM ARTHUR A. GLECKLER Add to Reading List Source URL: trac.sacrideo.us Language: English - Date: 2014-04-22 00:19:59 Object-oriented programming languages Functional languages Subroutines Data types Procedural programming languages Scheme Lisp Anonymous function Scope Lambda calculus Free variables and bound variables Expression
45	The OCaml Language Syntax let f x = expr let rec f x = expr apply: Add to Reading List Source URL: www.lri.fr Language: English - Date: 2012-09-19 09:12:11 Functional programming Data types Subroutines Programming idioms Object Anonymous function Immutable object This Constructor Recursion Const Monad
46	Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Lambda calculus Combinatory logic Church encoding Fixed-point combinator Anonymous function Higher-order abstract syntax Type system Unification De Bruijn index Lambda calculus definition
47	sadhana manuscript No. (will be inserted by the editor) A compact kernel for the calculus of inductive constructions A. Asperti · W. Ricciotti · Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2009-02-26 11:27:55 Type theory Matita Calculus of constructions Lambda calculus Recursion Positive-definite kernel Anonymous function Metavariable HindleyMilner type system Type inference Parameter Dependent type
48	Keeping it Clean with Syntax Parameters Eli Barzilay Ryan Culpepper Matthew Flatt Add to Reading List Source URL: barzilay.org Language: English - Date: 2011-12-19 01:05:10 Transformation languages Scheme Source code Functional languages Control flow Hygienic macro Macro Anonymous function C preprocessor Reserved word While loop Racket
49	The Scribble Reader An Alternative to S-expressions for Textual Content Eli Barzilay Northeastern University Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-08-03 09:52:15 Source code String literal Eval Scheme Lisp Regular expression Here document C syntax Anonymous function Syntax Delimiter String
50	ML Partial Evaluation using Set-Based Analysis Karoline Malmkjær Nevin Heintze February 1994 Olivier Danvy Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:08 Data types Subroutines Type theory Functional languages Procedural programming languages Closure Standard ML Type system Anonymous function Partial evaluation HindleyMilner type system ML